https://dasbestelexikon.de/fr/wiki/Quantificateur_existentiel